DisCSP.DistributedCSP
Class DisConstraintProblem

java.lang.Object
  DisCSP.DistributedCSP.DisConstraintProblem

public class DisConstraintProblem

extends java.lang.Object

Constructor Summary

DisConstraintProblem(ConstraintProblem cp)
Costruttore di DisConstraintProblem

Method Summary

void	addConstraint(ExtBinaryConstraint constr, Variable v) Permette di aggiungere un vincolo interno al problema
void	addExternalConstraint(ExtBinaryConstraint ext) Permette di aggiungere un vincolo esterno al problema
void	addVariable(Variable v) Permette di aggiungere una variabile al problema
ExtBinaryConstraint	externalConstraintAt(int i) Restituisce l'i-esimo vincolo esterno del problema
ConstraintProblem	localConstraintProblem() Restituisce il local CP associato al DCP
int	numberOfExternalConstraint() Restituisce il numero di vincoli esterni del problema
java.lang.String	print() Stampa il problema
void	removeVariable(Variable v) Permette di rimuovere una variabile dal problema

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DisConstraintProblem

public DisConstraintProblem(ConstraintProblem cp)

Costruttore di DisConstraintProblem

Parameters:

cp - il CSP locale

Method Detail

numberOfExternalConstraint

public int numberOfExternalConstraint()

Restituisce il numero di vincoli esterni del problema

Returns:

il numero di vincoli esterni del DCP

externalConstraintAt

public ExtBinaryConstraint externalConstraintAt(int i)

Restituisce l'i-esimo vincolo esterno del problema

Parameters:

i - l'indice del vincolo esterno

Returns:

l'i-esimo vincolo esterno

addExternalConstraint

public void addExternalConstraint(ExtBinaryConstraint ext)
                           throws UnknownVariableException

Permette di aggiungere un vincolo esterno al problema

Throws:

UnknownVariableException

localConstraintProblem

public ConstraintProblem localConstraintProblem()

Restituisce il local CP associato al DCP

Returns:

il local ConstraintProblem associato al DisConstraintProblem

print

public java.lang.String print()

Stampa il problema

Returns:

una stringa che rappresenta il problema

addVariable

public void addVariable(Variable v)
                 throws ExistentVarException

Permette di aggiungere una variabile al problema

Parameters:

v - la variabile

Throws:

ExistentVarException

removeVariable

public void removeVariable(Variable v)

Permette di rimuovere una variabile dal problema

Parameters:

v - la variabile

addConstraint

public void addConstraint(ExtBinaryConstraint constr,
                          Variable v)
                   throws UnknownVariableException,
                          NotBinaryConstrException

Permette di aggiungere un vincolo interno al problema

Parameters:

constr - il vincolo esterno da aggiungere

v - la variabile esterna

Throws:

UnknownVariableException

NotBinaryConstrException